<?php session_start();
if (intval($_SESSION['userId']) > 0) {//menu for logged users ?>
<div class="logged">
	Welcome, <?= $_SESSION['first_name'] ?>! | <a href="#">My Postings</a> | <a href="/profile.php">My Profile</a> | <a href="/logout.php">Logout</a><br />
	Your school: <?= $_SESSION['university'] ?> (<a href="#">change</a>)
</div>
<?php } else {//menu for guests ?>
<ul class="topnavig">
	<li id="regbtn"><a href="register.php"></a></li>
	<li id="loginbtn"><a id="login" href="#login_form"></a></li>
</ul>
<?php } ?>
